NetLogo User Community Models

(back to the NetLogo User Community Models)

Download If clicking does not initiate a download, try right clicking or control clicking and choosing "Save" or "Download". Try It in NetLogo Web

## WHAT IS IT?

This is an epistemic logic playground. You can explore the value of epistemic logical constructs, such as agent 'knows', Ka (where a is an agent)

## THINGS TO NOTICE

The underlying epistemic world is hard coded from Example 1.2 from Halpern and ???'s Introduction to Knowledge and Belief. The example goes as follows:

Bob is invited for a job interview with Alice. They have agreed that it will take place in a co↵eehouse downtown at noon, but the traffc is quite unpredictable, so it is not guaranteed that either Alice or Bob will arrive on time. However, the coffeehouse is only a 15-minute walk from the bus stop where Alice plans to go, and a 10-minute walk from the metro station where Bob plans to go. So, 10 minutes before the interview, both Alice and Bob will know whether they themselves will arrive on time. Alice and Bob have never met before.

This is the structure in the viewer when setup is pressed. On the right of the viewer the first box is the epistemic predicate to evaluate (see below) and below is the world.

A primitive predicate (like pa) will evaluate to true in all worlds in which it holds (for the default model these are worlds 3 (named "v") and 4 (named "w")) and return false otherwise.

Negation is "-"; conjunction is "&"; disjunction is "|"; and implication is ">". Operators are prefix and arguments must be parenthesised (so A & B is written & (A) (B)), this makes initial parser easier:).

## EXTENDING THE MODEL

Try changing the predicate.

Try changing the world - but you'll need to write code to do this.

## NETLOGO FEATURES

Agents and worlds are both turtles. The accessibility realtion is encoded as undirected links.

<!-- 2021 -->